منابع مشابه
Association of variants in the PCSK1 gene with obesity in the EPIC-Norfolk study
Recently, the rs6232 (N221D) and rs6235 (S690T) SNPs in the PCSK1 gene were associated with obesity in a meta-analysis comprising more than 13 000 individuals of European ancestry. Each additional minor allele of rs6232 or rs6235 was associated with a 1.34- or 1.22-fold increase in the risk of obesity, respectively. So far, only one relatively small study has aimed to replicate these findings, ...
متن کاملPlasma folate, related genetic variants, and colorectal cancer risk in EPIC.
BACKGROUND A potential dual role of folate in colorectal cancer (CRC) is currently subject to debate. We investigate the associations between plasma folate, several relevant folate-related polymorphisms, and CRC risk within the large European Prospective Investigation into Cancer and Nutrition cohort. METHODS In this nested case-control study, 1,367 incident CRC cases were matched to 2,325 co...
متن کاملمطالعه نشاننده های cr-epic و فضاهای cr-epic مطلق
مطابق معمول حلقه توابع پیوسته حقیقی مقدار روی فضای تیخونوف x را با c(x) نمایش می دهیم. اگر برای هر نشاننده ی توپولوژیکf : x?y نگاشت القایی ?:c(y)?c(x) اپی مورفیس در کاتگوری حلقه های جابجایی باشد. آنگاه فضای xرا فضایی cr-epic مطلق می نامند.فضا های تقریبا فشرده و p-فضاهای لیندلوف از ساده ترین این نوع فضاها می باشند.
EPiC Series in Computing
We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2017. This year, three tools CORA, Flow* and Isabelle/HOL (in alphabetic order) participated. They are applied to solve the reacha...
متن کاملEPiC Series in Computing
Although clausal propositional proofs are significantly smaller compared to resolution proofs, their size on disk is still too large for several applications. In this paper we present several methods to compress clausal proofs. These methods are based on a two phase approach. The first phase consists of a light-weight compression algorithm that can easily be added to satisfiability solvers that...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Turkish Studies
سال: 2013
ISSN: 1308-2140
DOI: 10.7827/turkishstudies.4436